$\forall$$d$:Decision. dec2bool($d$) $\in$ $\mathbb{B}$